Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation

Abstract: Context. Many safety-critical systems are subject to safety certification as a way of providing assurance that these systems cannot unduly harm people, property or the environment. Creating the requisite evidence for certification can be a challenging task due to the sheer size of the textual standards based on which certification is performed and the amenability of these standards to subjective interpretation.